On the Interpretation of Assurance Case Arguments
نویسنده
چکیده
An assurance case provides a structured argument to establish a claim for a system based on evidence about the system and its environment. I propose a simple interpretation for the overall argument that uses epistemic methods for its evidential or leaf steps and logic for its reasoning or interior steps: evidential steps that cross some threshold of credibility are accepted as premises in a classical deductive interpretation of the reasoning steps. Thus, all uncertainty is located in the assessment of evidence. I argue for the utility of this interpretation.
منابع مشابه
Shift of “Certainty” in Pre- and Post-Citation Arguments: The Case of Textbooks in Applied Linguistics
Writing academic texts by novice researchers requires a framework and support by learning how to cite the works of others. However, compared to the studies on other academic writings, studying citations by considering certainty markers has received little attention. The main purpose of this study was to investigate the shifts of certainty markers (hedges and boosters) in pre- and post-citation ...
متن کاملReviewing Assurance Arguments – A Step-By-Step Approach
An assurance case based regime requires a strong review element. Typically, one party is responsible for preparing the assurance case. Another party (the certification authority) is responsible for accepting the assurance case. Assurance cases are, by their nature, often subjective. The objective of assurance case development, therefore, is to obtain mutual acceptance of this subjective positio...
متن کاملThe future of goal-based assurance cases
Most regulations and guidelines for critical systems require a documented case that the system will meet its critical requirements, which we call an assurance case. Increasingly, the case is made using a goal-based approach, where claims are made (or goals are set) about the system and arguments and evidence are presented to support those claims. In this paper we describe Adelard’s approach to ...
متن کاملForced Migration and Global Responsibility for Health; Comment on “Defining and Acting on Global Health: The Case of Japan and the Refugee Crisis”
Forced migration has become a world-wide phenomenon in the past century, affecting increasing numbers of countries and people. It entails important challenges from a global health perspective. Leppold et al have critically discussed the Japanese interpretation of global responsibility for health in the context of forced migration. This commentary complements their analysis by outlining three pr...
متن کاملFactors Affecting Quality Assurance of Learning in Universities; a case in the Petroleum University of Technology
The purpose of the present study was to prioritize the main and sub-factors that affecting learning quality assurance in universities and higher education institutes in the case of Petroleum University of Technology (PUT). The statistical population of this study consisted of experts (professors, managers and staff) and students of PUT. Twenty one experts were identified and interviewed to dete...
متن کامل